function(keys, values) {
  var result = [];
  values.forEach (function(e) { if (result.indexOf(e) == -1) {result.push(e);} });
  return result;
}